what is an integer